<?php
/*
 * Created on 23.12.2008
 *
 * To change the template for this generated file go to
 * Window - Preferences - PHPeclipse - PHP - Code Templates
 */
class JF_Float extends JF_String{
	public function set($mValue) {
		$this->mValue = (float)$mValue;
	}

}
